#include <linux/sched.h>

unsigned long volatile jiffies;

void do_timer(unsigned long ticks)
{
	jiffies += ticks;
}

void update_process_times(void)
{
	struct task_struct *tsk;

	scheduler_tick();
}